On weak and strong normalisations
نویسنده
چکیده
With the help of continuations, we first construct a transformation T which transforms every Aterm t into a AJ-term T(t). Then we apply the conservation theorem in A-calculus to show that t is strongly normalisable if T(t) has a /J-normal form. In this way, we succeed in establishing the equivalence between weak and strong normalisation theorems in various typed A-calculi. This not only enhances the understanding between weak and strong normalisations, but also presents an elegant approach to proving strong normalisation theorems via the notion of weak normalisations.
منابع مشابه
Weak and Strong Beta Normalisations in Typed -calculi
We present a technique to study relations between weak and strong-normalisations in various typed-calculi. We rst introduce a translation which translates a-term into a I-term, and show that a-term is strongly-normalisable if and only if its translation is weakly-normalisable. We then prove that the translation preserves typability of-terms in various typed-calculi. This enables us to establish...
متن کاملOn Weak and Strong Normalisations1
With the help of continuations, we rst construct a transformation T which transforms every term t into a I-term T (t). Then we apply the conservation theorem in -calculus to show that t is strongly normalisable if T (t) has a -normal form. In this way, we succeed in establishing the equivalence between weak and strong normalisation theorems in various typed -calculi. This not only enhances the ...
متن کاملStrong Topological Regularity and Weak Regularity of Banach Algebras
In this article we study two different generalizations of von Neumann regularity, namely strong topological regularity and weak regularity, in the Banach algebra context. We show that both are hereditary properties and under certain assumptions, weak regularity implies strong topological regularity. Then we consider strong topological regularity of certain concrete algebras. Moreover we obtain ...
متن کاملPropranolol–induced Impairment of Contextual Fear Memory Reconsolidation in Rats: A Similar Effect on Weak and Strong Recent and Remote Memories
Introduction: Previous studies have demonstrated that the &beta-adrenergic receptor antagonist propranolol impairs fear memory reconsolidation in experimental animals. There are experimental parameters such as the age and the strength of memory that can interact with pharmacological manipulations of memory reconsolidation. In this study, we investigated the ability of the age and the strength o...
متن کاملA Comparison of the Metacognitive Knowledge of Weak and Strong Students in Problem Solving
This study sought to compare the metacognitive knowledge profile of weak and strong students in problem solving. For achieving this purpose, one hundred students of the second educational District of Tehran were chosen by cluster sampling. They responded individually to the questions of "the Metacognitive Questionnaire Interview" and in the next step their performance in the pendulum problem so...
متن کامل